Modeling with enhanced prioritized Petri nets: EP-nets
نویسندگان
چکیده
منابع مشابه
Modeling with enhanced prioritized Petri nets: EP-nets
Recently, many researchers have their attention focused on interactive temporal models, like the extended finite state machines or the extended Petri net models. One of the recent mechanisms proposed for synchronization is known as the Prioritized Petri net, P-Net, which is implemented in the Distributed Object Composition Petri Net, DOCPN. The development of DOCPN has achieved media synchroniz...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملModel Checking Bounded Prioritized Time Petri Nets
In a companion paper [BPV06], we investigated the expressiveness of Time Petri Nets extended with Priorities and showed that it is very close to that Timed Automata, in terms of weak timed bisimilarity. As a continuation of this work we investigate here the applicability of the available state space abstractions for Bounded Time Petri Nets to Bounded Prioritized Time Petri Nets. We show in part...
متن کاملModeling Games with Petri Nets
This paper describes an alternate approach to the modeling of game systems and game flow with Petri nets. Modeling languages usually used in this area are of limited efficiency when it comes to validating the underlying game systems. We provide a case study to show that Petri Nets can be used with advantages over other modeling languages. Their graphical notation is simple, yet it can be used t...
متن کاملAnimation modeling with petri nets
ÐThis paper introduces the use of Petri Nets as a modeling and analysis tool for animation environments. Firstly, the original formulation for Petri Nets is applied in two animation situations, one modeled as a state machine and another exploring interdependent transitions. Increasing the complexity level, some modeling extensions are discussed and more sophisticated animation examples are stud...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Communications
سال: 2002
ISSN: 0140-3664
DOI: 10.1016/s0140-3664(01)00401-7